Set theory - PDFSEARCH.IO - Document Search Engine

Set theory
Results: 2815

#	Item
701	On Set-Driven Combination of Logics and Verifiers LARA Technical Report, February 2, 2009 Viktor Kuncak1 and Thomas Wies1,2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-02-02 09:55:31 Model theory Logic in computer science Metalogic Predicate logic Proof theory First-order logic Satisfiability Modulo Theories Presburger arithmetic Quantifier elimination Logic Mathematical logic Theoretical computer science
702	Type Theory and Constructive Mathematics Thierry Coquand Function, Proofs, Constructions, February 21, 2014 Type Theory and Constructive Mathematics Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-02-23 10:00:40 Mathematical logic Mathematical constructivism Constructivism Type theory Mathematical proof Function Constructive proof Constructive set theory Mathematics Epistemology Logic
703	Local Distributed Decision∗ Pierre Fraigniaud† Amos Korman† David Peleg‡ Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2011-10-30 17:16:12 NP-complete problems Network flow Operations research Probabilistic complexity theory Randomized algorithm Modular decomposition Dominating set Flow network XTR Theoretical computer science Mathematics Graph theory
704	Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Overview DEIRDRE HASKELL, ANAND PILLAY, AND CHARLES STEINHORN Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-12 16:44:26 Abstract algebra O-minimal theory Strongly minimal theory Definable set Structure Differentially closed field Real closed field Quantifier elimination Set theory Model theory Mathematical logic Mathematics
705	Constructing Sublinear Expectations on Path Space Marcel Nutz ∗ Ramon van Handel Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2013-04-14 17:16:54 Mathematical logic Stochastic processes Descriptive set theory Measure theory Conditional expectation Martingale theory Borel set Random variable Measurable function Probability theory Mathematical analysis Statistics
706	TABLEAU COMPLEXES ALLEN KNUTSON, EZRA MILLER, AND ALEXANDER YONG A BSTRACT. Let X, Y be finite sets and T a set of functions from X → Y which we will call “tableaux”. We define a simplicial complex whose facets, al Add to Reading List Source URL: www.math.duke.edu Language: English - Date: 2006-03-25 02:52:15 Symmetric functions Representation theory of finite groups Young tableau Schur polynomial Simplicial complex Vexillary permutation Abstract algebra Algebra Mathematics
707	Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Notes on o-Minimality and Variations DUGALD MACPHERSON Add to Reading List Source URL: library.msri.org Language: English - Date: 2001-06-12 16:44:11 Algebra O-minimal theory Strongly minimal theory Definable set Morley rank Uniform space Vector space Structure Imaginary element Model theory Mathematics Mathematical logic
708	THINK 37 (AND 37A) PROBLEM SET 1 This set is due by noon on Thursday, October 4 to Otis Chodosh. (We will explain later how to best get it to him.) Write solutions to four of the following eight problems. Pick problems Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2012-09-28 10:03:43 Group theory Mathematical logic Mathematical constants Complex analysis Pi Number Square root Angle trisection Mathematical proof Mathematics Mathematical analysis Exponentials
709	MATH 216 PROBLEM SET 10 This problem set is due by noon on Friday, January 13. Hand in your homework to me by email. In France, families often celebrate New Year’s by gathering together and solving algebraic geometry Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2011-12-22 14:26:53 Complete Computational complexity theory
710	Efficient Sensor Placement Optimization for Securing Large Water Distribution Networks Andreas Krause ∗ Add to Reading List Source URL: select.cs.cmu.edu Language: English - Date: 2009-08-13 03:47:05 Computational complexity theory Mathematical optimization Operations research Submodular set function Approximation algorithm Wireless sensor network Reduction Genetic algorithm Optimization problem Theoretical computer science Applied mathematics Mathematics

UPDATE